منابع مشابه
Framing the Frame Problem
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation. The problem is particularly delicate in the case of programs using pointers or referen...
متن کاملValue Framing: A Prelude to Software Problem Framing
Software problem framing is a way to find specifications for software. Software problem frames can be used to structure the environment of a software system (the machine) and specify desired software properties in such a way that we can show that software with these properties will help achieve the required effects in the environment. Actually framing a software problem, i.e. finding suitable p...
متن کاملDesign as interactions of problem framing and problem solving : a formal and empirical basis for problem framing in design
This paper introduces a model of framing in design. The model takes into account a reflective nature of designing, and it is based on the interplay between two conceptually distinct knowledge sources – an explicit specification of a problem and a solution to it. The approach is novel in the former investigated aspect that is presented as a semi-formal operation of framing, i.e. interpretation o...
متن کاملExploring Problem-framing through Behavioural Heuristics
Design for behaviour change (Lilley, 2009; Wever, 2012) is part of what Redström (2005) calls “a progression towards the user becoming the subject of design” (p. 124), with “design as an intervention into multiple and interpenetrating technical, material and social systems” (Mazé & Redström, 2008, p. 55). Dubberly and Pangaro (2007, p. 1302) note design’s growing concern with “ways of behaving”...
متن کاملDesign as interactions of problem framing and problem solving
This paper introduces a model of framing in design. The model takes into account a reflective nature of designing, and it is based on the interplay between two conceptually distinct knowledge sources – an explicit specification of a problem and a solution to it. The approach is novel in the former investigated aspect that is presented as a semi-formal operation of framing, i.e. interpretation o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research-Technology Management
سال: 2019
ISSN: 0895-6308,1930-0166
DOI: 10.1080/08956308.2019.1563433